Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
41	Offer of Complimentary Software License(s) Hello, MathWorks is pleased to support the DNA Data Bank of Japan Data Analytics Challenge. MathWorks will provide software, training, and access to MathWorks engineering mentor Add to Reading List Source URL: www.ddbj.nig.ac.jp Language: English - Date: 2016-07-05 21:40:35 Software Application software Mathematical software Cross-platform software Array programming languages Computer algebra systems Optimization Toolbox MathWorks MATLAB Feature Selection Toolbox
42	ENGR 100: Introduction to Computer Engineering Spring 2008 Course Information Instructor: Serdar Taşıran Contact info: ENG 226 , Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:44 Software Application software Mathematical software Econometrics software Linear algebra MATLAB Parallel computing
43	E¢ cient Allocations with Moral Hazard and Hidden Borrowing and Lending: A Recursive Formulation Árpád Ábrahám y and Nicola Pavoni z MayAbstract Add to Reading List Source URL: apps.eui.eu Language: English - Date: 2011-02-21 08:55:53 Computer programming Academia Mathematical optimization Software engineering Equations Asymmetric information Game theory Economic theories Contract theory Dynamic programming Recursion
44	1 CrowdOp: Query Optimization for Declarative Crowdsourcing Systems Ju Fan, Meihui Zhang, Stanley Kok, Meiyu Lu, and Beng Chin Ooi Abstract—We study the query optimization problem in declarative crowdsourcing systems. Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2015-03-19 06:59:18 Data management Computing Software Database management systems SQL Mathematical optimization Operations research Database theory Query optimization Query plan Crowdsourcing Multi-objective optimization
45	EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208, Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:05:54 Software engineering Software Numerical analysis Mathematical optimization Numerical software Distributed computing architecture Operations research Paradiseo Algorithm Solver Design Patterns User interface
46	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
47	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
48	Microsoft PowerPoint - HS Workshop Berkeley 07 April (OSN).ppt Add to Reading List Source URL: openseesnavigator.berkeley.edu Language: English - Date: 2015-02-20 14:13:11 Software Application software Mathematical software Solid mechanics Numerical software Earthquake engineering Structural engineering OpenSees Plasticity MATLAB Stress Yield
49	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
50	Algebra and technology: Emerging issues* Barry Kissane Australian Institute of Education Murdoch University, WA Synopsis: Although there are a number of technologies related to school Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2001-01-11 10:29:44 Graphing calculators Office equipment Programmable calculators Mathematics Equipment Consumer electronics Mathematical notation Software calculator Calculator Computer algebra system Scientific calculator Casio graphic calculators

UPDATE